Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computing systems are of growing importance because of their wide use in many areas including those in safety-critical systems. This book describes the basic models and approaches to the reliability analysis of such systems. An extensive review is provided and models are categorized into different types. Some Markov models are extended to the analysis of some specific computing systems such as combined software and hardware, imperfect debugging processes, failure correlation, multi-state systems, heterogeneous subsystems, etc. One of the aims of the presentation is that based on the sound analysis and simplicity of the approaches, the use of Markov models can be better implemented in the computing system reliability.

Electronic digital computers --- Computers --- Reliability. --- Computer science. --- Logic, Symbolic and mathematical. --- Software engineering. --- Mathematical Modeling and Industrial Mathematics. --- Computer Science, general. --- Processor Architectures. --- Mathematical Logic and Foundations. --- Software Engineering/Programming and Operating Systems. --- Mathematical models. --- Microprocessors. --- Mathematical logic. --- Computer software engineering --- Engineering --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Minicomputers --- Informatics --- Science --- Models, Mathematical --- Simulation methods